Supervision of real-time software systems using optimistic path prediction and rollbacks
نویسندگان
چکیده
Real-Time Supervision is a technique for automatically detecting and reporting failures in the external behaviour of real-time software systems. Failure detection is achieved by monitoring the target system’s external inputs and outputs, in a ‘black box’ manner, and comparing its behaviour with the formally specified behaviour of
منابع مشابه
Timeliness via Speculation for Real-Time Databases
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency Control (PCC and OCC) alternatives represent two extremes. PCC locking protocols detect con icts as soon as they occur and resolve them using blocking. OCC protocols detect con icts at transaction commit time and resol...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملAn Algorithm for Fully-reversible Optimistic Parallel Simulation
Typically, large-scale optimistic parallel simulations will spend 90% or more of the total execution time forward processing events and very little time executing rollbacks. In fact, it was recently shown that a large-scale TCP model consisting of over 1 million nodes will execute without generating any rollbacks (i.e., perfect optimistic execution is achieved). The major cost involved in forwa...
متن کاملRTSS ’ 94 : The 14 th IEEE Real - Time System Symposium , San Juan , Puerto
Various concurrency control algorithms diier in the time when connicts are detected, and in the way they are resolved. Pessimistic (PCC) protocols detect connicts as soon as they occur and resolve them using blocking. Optimistic (OCC) protocols detect connicts at transaction commit time and resolve them using rollbacks. For real-time databases, blockages and rollbacks are hazards that increase ...
متن کاملCompletely Asynchronous Optimistic Recovery with Minimal Rollbacks
Consider the problem of transparently recovering an asynchronous distributed computation when one or more processes fail. Basing rollback recovery on optimistic message loggingand replay is desirable for several reasons, including not requiring synchronization between processes during failure-free operation. However, previous optimistic rollback recovery protocols either have required synchroni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996